This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

Infamously, Rawls assumed a democratic society to be “a complete and closed social system,” in that “entry into it is only by birth and exit from it is only by death.” Since the beginning of the present millennium, however, debates about the ethical issues related to immigration have been prominent. In this context, these methodological departure points seem long outdated, if not simply biased. This paper will rework Rawls’s theory of migration for application to the case of provisional immigrants by (...) reworking its theoretical underpinnings. I will argue that once his assumptions are adjusted, Rawlsian notions of ‘stability’ in conjunction with his idea of a ‘society understood as a fair system of cooperation’ justify inclusive membership regimes. In other words, Rawlsian domestic justice requires inclusive membership regimes for provisional immigrants. (shrink)

31 chapters covering the Old Academy to Late Antiquity. See attached TOC.

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

The evaluation of labour markets and of particular jobs ought to be sensitive to a plurality of benefits and burdens of work. We use the term 'the goods of work' to refer to those benefits of work that cannot be obtained in exchange for money and that can be enjoyed mostly or exclusively in the context of work. Drawing on empirical research and various philosophical traditions of thinking about work we identify four goods of work: 1) attaining various types of (...) excellence; 2) making a social contribution; 3) experiencing community; and 4) gaining social recognition. Our account of the goods of work can be read as unpacking the ways in which work can be meaningful. The distribution of the goods of work is a concern of justice for two conjoint reasons: First, they are part of the conception of the good of a large number of individuals. Second, in societies without an unconditional income and in which most people are not independently wealthy, paid work is non-optional and workers have few, if any, occasions to realize these goods outside their job. Taking into account the plurality of the goods of work and their importance for justice challenges the theoretical and political status quo, which focuses mostly on justice with regard to the distribution of income. We defend this account against the libertarian challenge that a free labour market gives individuals sufficient options to realise the goods of work important to them, and discuss the challenge from state neutrality. In the conclusion, we hint towards possible implications for today’s labour markets. (shrink)

What does social cohesion require in culturally diverse post-immigration societies? Immigration and social cohesion are, in the public debate, believed to be incompatible. In normative political philosophy, a similar understanding manifests in the argument that social cohesion-based on a common national identity-is incompatible with immigration. In so doing, its proponents justify restrictive border policies. In this chapter, I will critically engage with this argument by reconnecting the literature in social sciences to normative political philosophy. I will offer a conditional and (...) pro tanto argument that social cohesion in post-immigration societies justifies open and non-discriminatory border policies. My argument is conditional in two senses: first, it assumes social cohesion is based on a common identity, and second, it only applies to the societies with significant cultural, religious, and ethnic diversity that can be best described as post-immigration societies. My argument implies that liberal nationalists have a choice: they can either keep defending social cohesion in the traditional way, which comes with open borders; or they can abandon this view, thereby losing one of the strongest justifications for restrictive borders. (shrink)

When a belief is self-fulfilling, having it guarantees its truth. When a belief is self-defeating, having it guarantees its falsity. These are the cases of “self-impacting” beliefs to be examined below. Scenarios of self-defeating beliefs can yield apparently dilemmatic situations in which we seem to lack sufficient reason to have any belief whatsoever. Scenarios of self-fulfilling beliefs can yield apparently dilemmatic situations in which we seem to lack reason to have any one belief over another. Both scenarios have been used (...) independently to challenge Evidentialism, on which what we may rationally believe is all and only what fits our current evidence. Here we tie the two scenarios together and explore what a knowledge-sensitive evidentialist approach to one implies for the other. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

In this paper, I expand my upon earlier linguistic research (Lian, 2023), which delved into the genre of abstracts from Western philosophical papers. I engage with the philosophical ramifications emanating from the guidelines established for crafting philosophy paper abstracts (Lian, 2023) and underscore their significance in the domain of academic philosophical writing. A pivotal focus of this research is to navigate the intricate philosophical challenges posed by cross-disciplinary investigations bridging applied linguistic statistics with philosophical paper composition, specifically, the nuanced interpretation (...) of linguistic findings in a manner palatable to philosophers. My exploration probes into the dynamics of various concepts within Inter-Disciplinary Research (IDR), highlighting the complexities in reconciling semantic intuitions related to the notions of "Method (M)" and "Conclusion (C)". I delineate three philosophical stances: (1) deferring to scientific authority, (2) recognizing domain-specific terminologies, and (3) interrogating peripheral scientific theories. I posit that these stances significantly influence the ways philosophers engage with and resolve the cross-disciplinary semantic and theoretical contentions stemming from the rhetorical structures of "Method (M)" and "Conclusion (C)". This work proposes avenues to attain either "theoretical coherence" or "disciplinary synthesis", thereby fostering enhanced cross-disciplinary collaboration and fortifying academic discourse across diverse fields. -/- Keywords: Inter-Disciplinary Research (IDR), Applied linguistics, Philosophical writing, Genre Analysis, Rhetorical Moves 本研究將先介紹筆者的語言學碩士論文（連，2023），如何分析《東吳哲學學報》2017年至2021年西方哲學論文摘要語體的修辭語步特徵與提供寫作建議，並試圖從哲學圈內人的角度，對連（2023）的哲學寫作 建議進行批判性的反思，探討哲學教師或新手哲學家可以如何看待華文哲學論文摘要的寫作建議。接著，筆者將問題聚焦在跨領域學科（應用語言學統計結果與哲學論文寫作）之間的哲學問題，即——哲學家應如何看待語言學家 針對哲學論文的研究結果。筆者將考慮領域間研究（IDR）的語言與詞語概念關係。而藉由討論上述跨領域研究中語義直覺分歧的問題，筆者提出了三種可能的哲學態度：(1)服從科學權威、(2)尊重特定領域用詞、(3 )質疑邊緣科學理論。筆者認為，上述三種態度對於哲學家如何看待「方法(M)」和「結論(C)」這兩項跨領域語義概念分歧和可能理論分歧有著重要的影響。筆者希冀藉由提出相關解決方案來尋求「理論統一」或「領域整 合」的可行性，最終得以促進跨領域合作與跨學門間良好學術交流的互動成長。 -/- 關鍵詞：領域間研究（IDR）、應用語言學、哲學寫作、語體分析、修辭語步 . (shrink)

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.

[This is a paper that was originally written in 2017 and doesn't represent Silva's current thinking about degrees of confidence, conviction, and rationality.] Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the metaphysical relation between belief and credence. It is generally assumed that a Lockean metaphysics of belief that reduces (...) outright belief to degrees of confidence would immediately effect a unification of coarse-grained epistemology of belief with fine-grained epistemology of confidence. Scott Sturgeon has suggested that the unification is effected by understanding the relation between outright belief and confidence as an instance of the determinable-determinate relation. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of “mistuned knowledge”—knowledge and rational belief in the absence of rational confidence. We contend that there are genuine cases of mistuned knowledge and that, therefore, epistemological unification must forego token identity of belief and high confidence. We show how partial epistemological unification can be secured given determination of outright belief by degrees of confidence even without token-identity. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

Respect for victims requires that we have social systems for punishing and condemning (reproving) serious crimes. But, the conditions of social marginalization and political subordination of the communities from which an overwhelming number of prisoners in the United States come place serious barriers in the face of effective reprobation. Mass incarceration makes this problem worse by disrupting and disrespecting entire communities. While humanities education in the prisons is far from a total solution, it is one way to make reprobation meaningful, (...) so long as the prison classroom is a place where the educators’ values are also put at risk. (shrink)

Contemporary theories of consciousness are based on widely different concepts of its nature, most or all of which probably embody aspects of the truth about it. Starting with a concept of consciousness indicated by the phrase “the feeling of what happens” (the title of a book by Antonio Damásio), we attempt to build a framework capable of supporting and resolving divergent views. We picture consciousness in terms of Reality experiencing itself from the perspective of cognitive agents. Each conscious experience is (...) regarded as composed of momentary feeling events that are combined by recognition and evaluation into extended conscious episodes that bind cognitive contents with a wide range of apparent durations (0.1 secs to 2 or more secs, for us humans, depending on circumstances and context). Three necessary conditions for the existence of consciousness are identified: a) a ground of Reality, envisaged as an universal field of potentiality encompassing all possible manifestations, whether material or 'mental'; b) a transitional zone, leading to; c) a manifest world with its fundamental divisions into material, 'informational' and quale-endowed aspects. We explore ideas about the nature of these necessary conditions, how they may relate to one another and whether our suggestions have empirical implications. (shrink)

This essay is a defense of the social construction of racialism. I follow a standard definition of “racialism” which is the belief that “there are heritable characteristics, possessed by members of our species, that allow us to divide them into a small set of races, in such a way that all the members of these races share certain traits and tendencies with each other that they do not share with other members of any other race”. In particular I want to (...) defend the “radical” social-constructive thesis that holds “the concept of race is exclusively the product of historical and cultural causes. It claims that humans do not tend to classify people into races when groups with different phenotypes meet, save for particular historical circumstances”. The quoted position is the consensus view among historians, sociologists, anthropologists, and other social scientists who study racialism but has recently been criticized by philosophical defenders of cognitive/evolutionary psychological approaches to racialism. Drawing on developmental studies as well as historical and contemporary cross-cultural research, CEP philosophers point to similarities of racialism across time and space. They hold that social constructionist approaches to racialism cannot explain these similarities. I hold that SC approaches do explain these similarities and that such similarities actually pose a significant challenge to the proposed CEP research program on racialism. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

Reading proficiency plays a vital role in keeping up-to-date with technological advancements and innovations in education. However, there are Grade 7 students who need help with the essential skill of reading. These students need support for them to cope with the classroom demands. This transcendental phenomenological qualitative research aims to determine the academic experiences of struggling readers inside the classroom. Five struggling readers were the participants of this study. These five participants were purposefully selected after being recommended by the school (...) reading coordinator. The interview guide questionnaire was the instrument of this study. The interview guide questionnaire contains open-ended questions that were validated by experts. One-on-one interviews were conducted for about 20 to 40 minutes each. Using an audio recorder, the interviews were recorded. After the interview, a verbatim transcription was made and thematic analysis was utilized to analyze the significant lines of the participants. The following themes were elicited from the participants' responses, namely: lack of computer skills, limited visual attention span, hesitation and anxiety to participate, difficulty in interaction, difficulty with the use of technology in education, confusion with letter-sound identification, less motivation to learn, problem understanding the lesson, and slow in taking down notes. The participants attributed their reading difficulties to themselves, their teachers, and their parents. In light of these findings, it is strongly recommended that a robust and comprehensive reading recovery program be implemented. This program should address struggling readers' multifaceted challenges and provide them with the necessary support to enhance their reading proficiency and overall academic performance. (shrink)

I explain why, from the perspective of knowledge-centric anti-luck epistemology, objective act consequentialist theories of ethics imply skepticism about the moral status of our prospective actions and also tend to be self-defeating, undermining the justification of consequentialist theories themselves. For according to knowledge-centric anti-luck epistemology there are modal anti-luck demands on both knowledge and justification, and it turns out that our beliefs about the moral status of our prospective actions are almost never able to satisfy these demands if objective act (...) consequentialism is true. This kind of applied moral skepticism introduces problematic limits on our ability to use objective act consequentialism’s explanatory power as evidence for its truth. This is, in part, a product of higher-order defeat as I explain in the final section. There is, however, a silver lining for objective act consequentialists. For there is at least one type of objective act consequentialism, prior existence consequentialism, that is poised to avoid at least some of the epistemic problems discussed in this paper. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

My argument proceeds in two stages. In §I, I sum up the intuitions of a popular argument for 'satisfaction accounts' of Purgatory that I label, TAP. I then offer an argument, taken from a few standard orthodox Christian beliefs and one axiom of Christian theology, to so show that TAP is unsound. In the same section, I entertain some plausible responses to my argument that are prima facie consistent with these beliefs and axiom. I find these responses wanting. In §II, (...) I offer a sorites problem for TAP, given the orthodox Christian understanding of Christ’s parousia, showing that TAP and the intuitions driving it are faulty. To attempt something of a corrective, I end by offering some modest theological suggestions for thinking through “the logic of total transformation.”. (shrink)

This qualitative study employing the sentiment analysis method uncovered the people's sentiments on the appointment of Vice-President Sara Z Duterte as the Secretary of the Department of Education. The comments from the Facebook online news platforms were used as the corpora of this study. Results revealed that the appointment of Vice-President Sara Z. Duterte as the Department of Education Secretary received 79% positive sentiments, 11% negative sentiments, and 10% neutral sentiments from the people. This indicates that most people responded favorably (...) to the appointment of Vice President Sara Z. Duterte to the position of Secretary of the Department of Education. This suggests that people believed Vice President Duterte's ability to lead the Education Department and bring about significant changes within the department. (shrink)

Various philosophers discuss perlocutionary silencing, but none defend an account of perlocutionary silencing. This gap may exist because perlocutionary success depends on extralinguistic effects, whereas silencing interrupts speech, leaving theorists to rely on extemporary accounts when they discuss perlocutionary silencing. Consequently, scholars assume perlocutionary silencing occurs but neglect to explain how perlocutionary silencing harms speakers as speakers. In relation to that shortcoming, I defend a novel account of perlocutionary silencing. I argue that speakers experience perlocutionary silencing when they are illegitimately (...) deprived of perlocutionary influence on a conversation in which they are active participants, where perlocutionary influence on the conversation relates to speech-related perlocutionary goals meant to influence the conversation or conversational direction. Thus, this account grounds perlocutionary silencing in linguistic phenomena and characterizes perlocutionary silencing in a way that explains why those who experience perlocutionary silencing are harmed as speakers. Moreover, this account explains how perlocutionary silencing harms speakers as conversational participants in a way that cannot be captured by illocutionary or locutionary silencing, for a speaker may be perlocutionarily silenced despite illocutionary success. Consequently, the account explains why “All Lives Matter” silences Black Lives Matter and “Not All Men” silences women sharing experiences of sexual harassment. (shrink)

Our doxastic states are our belief-like states, and these include outright doxastic states and degreed doxastic states. The former include believing that p, having the opinion that p, thinking that p, being sure that p, being certain that p, and doubting that p. The latter include degrees of confidence, credences, and perhaps some phenomenal states. But we also have conviction (being convinced simpliciter that p) and degrees of conviction (being more or less convinced that p). This volume shows: how and (...) why all of the outright doxastic states mentioned above can be reduced to conviction thresholds; what degrees of conviction fundamentally are (degreed reliance-dispositions); why degrees of conviction are not credences; when suspending a belief is compatible with continuing to believe; and the surprising extent to which Kant endorsed the theory of conviction that emerges in this volume. (shrink)

In response to commentators, we argue that whether waiving patent rights will meaningfully improve access to COVID-19 vaccines for low income and middle-income countries (LMICs), particularly in the short term, is an empirical matter. We also reject preferentially allocating vaccines to countries that hosted trials because doing so unethically favours those with research infrastructure, rather than those facing the worst burdens from COVID-19.

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

The basing demand on doxastic justification is a widely held and highly intuitive dogma of contemporary epistemology. In Silva [2015, AJP], I argued that the dialectical significance of this dogma is severely limited by our lack of independent grounds for endorsing it. Oliveira [2015, AJP] sought to defend the basing demand on doxastic justification. Here I explain why Oliveira’s attempted defense of the basing demand misses its mark. I also briefly suggest that there is an alternative way of defending the (...) basing demand. The alternative way is reconciliatory: it shows that most epistemologists may have been right to insist on such a demand, but perhaps still wrong to treat it as a dialectically powerful tool in the assessment of certain substantive epistemological theories. (shrink)

The phenomenal concept strategy (PCS) is widely regarded as the most promising physicalist defence against the so-called epistemic arguments—the anti-physicalist arguments that establish an ontological gap between physical and phenomenal facts on the basis of the occurrence of epistemic gaps in our descriptions of these facts. The PCS tries to undercut the force of the epistemic arguments by attributing the occurrence of the epistemic gaps to the special character of phenomenal concepts—the concepts by means of which we think about our (...) phenomenal experiences. In this essay, the author examines David Chalmers' master argument against the PCS and the objections raised against this argument by Peter Carruthers, Bénédicte Veillet and Katalin Balog in defending the PCS. While the author finds these objections to be successful defences of the PCS, the author shares Balog's belief that in this regard, the debate between the physicalists and anti-physicalists is a stalemate. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Epistemic luck is a generic notion used to describe any of a number of ways in which it can be accidental, coincidental, or fortuitous that a person has a true belief. For example, one can form a true belief as a result of a lucky guess, as when one believes through guesswork that “C” is the right answer to a multiple-choice question and one’s belief just happens to be correct. One can form a true belief via wishful thinking; for example, (...) an optimist’s belief that it will not rain may luckily turn out to be correct, despite forecasts for heavy rain all day. One can reason from false premises to a belief that coincidentally happens to be true. One can accidentally arrive at a true belief through invalid or fallacious reasoning. And one can fortuitously arrive at a true belief from testimony that was intended to mislead but unwittingly reported the truth. In all of these cases, it is just a matter of luck that the person has a true belief. -/- Until the twenty-first century, there was nearly universal agreement among epistemologists that epistemic luck is incompatible with knowledge. Call this view “the incompatibility thesis.” In light of the incompatibility thesis, epistemic luck presents epistemologists with three distinct but related challenges. The first is that of providing an accurate analysis of knowledge (in terms of individually necessary and jointly sufficient conditions for “S knows that p,” where ‘S’ represents the knower and ‘p’ represents the proposition known). An adequate analysis of knowledge must succeed in specifying conditions that rule out all instances of knowledge-destroying epistemic luck. The second challenge is to resolve the skeptical paradox that the ubiquity of epistemic luck generates: As will become clear in section 2c, epistemic luck is an all-pervasive phenomenon. Coupling this fact with the incompatibility thesis entails that we have no propositional knowledge. The non-skeptical epistemologist must somehow reconcile the strong intuition that epistemic luck is not compatible with knowledge with the equally evident observation that it must be. The third challenge concerns the special skeptical threat that epistemic luck seems to pose for more reflective forms of knowledge, such as knowing that one knows. Each of these challenges will be explored in the present article. (shrink)

Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...) decisionmaking among different authoritarian regimes, including North Korea, and the opening up of those economies to outside engagement. The second paper outlines two different scenarios that might occur when conventional deterrence on the Korean Peninsula breaks down and the resulting decisions that North Korea’s leadership could face. The third paper assesses DPRK decisionmaking about nuclear weapon use. The report concludes with some observations, drawn from the issues covered in these three discussion papers, about DPRK decisionmaking and stability on the Korean Peninsula. (shrink)

Graduates' employability indicates the excellent education and relevant preparation they obtained from their respective degrees. Tracer studies have enabled higher education institutions to profile their graduates while also reflecting on the quality of education they provide. With the foregoing, a tracer study determined the demographic and academic profile of teacher education graduates from 2017 to 2020 in a state university in the West Philippines. It also ascertained the advanced studies they attended after college, their employment data, the relevance of college (...) preparation with their current employment, difficulties they encountered while securing employment and in their present job, and recommendations to strengthen the teacher education program. The study utilized a descriptive survey research design with 80 non-random samples chosen based on availability. The survey was based on the Philippine Commission on Higher Education with modifications elucidated from previous studies. Results showed that graduates took the teacher education program with a strong passion for the teaching profession. More graduates received honors and awards, passed the licensure examinations for teachers, attended advanced studies for professional development, and are employable. Besides, the graduates’ college preparation is relevant to their current employment. Further, difficulties and problems encountered and recommendations to strengthen the teacher education program were noted. These findings may serve as a baseline for curriculum review and give suggestions for future tracer studies. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

This paper primarily disputes Dreyfus’s account of Heidegger’s critique of Husserl’s theory of intentionality. Specifically, it raises objections to the three central claims of such an account; namely: that Searle’s theory of intentional action can be used as a stand-in for Husserl’s; that Heidegger rejects the primordiality of the intentionality of consciousness; and that Heidegger distinguishes between conscious and unconscious types of intentional actions and he privileges the latter over the former. I show the first to be unwarranted owing to (...) a lack of fundamental parallelisms between Searle’s and Husserl’s theories of intentionality. I show the second to be mistaken for failing to take into account Heidegger’s strategic handling of the concept of consciousness and for contradicting Heidegger’s concept of care as the essential meaning of Dasein’s being-in-the-world. Lastly, I show the third to be highly problematic for lacking in textual evidence and explanatory power. (shrink)

Educational Data Mining (EDM) shows interesting scientific results lately. However, little has been discussed about philosophical questions regarding the type of knowledge produced in this area. This paper aims to present two epistemological issues in EDM: (i) a question of ontological nature about the content of the knowledge obtained; and (ii) a question of deontological nature, about the guidelines and principles adopted by the researcher in education, to the detriment of the results of his own research. In the end, some (...) considerations and guidelines are outlined as a result of the discussion of the issues raised. (shrink)

The protection of rare species abounds with scientific and ethical considerations. An ethical dilemma can emerge when the life of one species is valued higher than that of another, and so we discuss the basis of ranking, protection, and valuation of plants and animals. A duty to protect rare species exists in this age of great losses to plant and animal life, but the scientific and public communities are not always in agreement regarding what species deserve protection. Using a case (...) study, we illustrate how the decision to kill beavers to protect a rare plant and rare animals found in a tidewater creek demanded an ecological ethic approach. We present the concept of a" conservation mediator" and how its use may help find a common ground between stakeholders and decision-makers in similar situations. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

This paper finds out whether a higher degree matters in school performance, and in demonstrating leadership and core behavioral competencies among school heads. This was conducted to support the existing and future policies of the Department of Education and interested funders for the scholarship and advanced studies of school heads. Using a cross-sectional method, it involved 192 randomly selected participants. Data on school performance was obtained at the office of Surigao del Sur Division, while data on competencies were gathered through (...) the self-administered assessment tools developed by the Department of Education. These data were analyzed using descriptive statistics and analysis of variance. Results revealed that there was no significant difference in the school performance of school heads. This implies that the highest degree obtained is not a guarantee for better school performance. As found, those with doctorate degrees had a very high and consistent demonstration in all dimensions of leadership and core behavioral competencies. As unveiled, there were significant differences in the demonstrated competencies based on the highest educational qualifications. These imply that obtaining the highest degrees can allow school heads to acquire, develop, and demonstrate the competencies consistently better than their counterparts. Results have implications for DepEd officials, funders, and policy-makers. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

This study sought to examine the factors affecting the Science, Technology, Engineering and Mathematics (STEM) students’ Mathematics performance in a modular distance learning at Notre Dame Village National High School (NDVNHS). In particular, the researcher was interested to determine if these factors had a significant effect on the students’ Pre-Calculus and General Mathematics performance considering the number of hours spent in modular learning. The period covered by the study was during the first semester of the school year 2020-2021. The respondents (...) were all 67 Grade 11 STEM students of NDVNHS. A quantitative research design was utilized particularly using Multivariate Analysis of Covariance (MANCOVA). The findings of the study revealed that majority of the STEM students had a good performance in their Mathematics subjects for the first semester. Also, the factors specifically type of motivation (intrinsic or extrinsic) and support system (parents, siblings, relatives, friends, or classmates) had statistically significant effect on their mathematics performance in the new normal considering the amount of time they spent in learning using modules. Moreover, there were statistically significant differences in both Pre-Calculus and General Mathematics performances between the type of motivation and support system when adjusted for the number of hours spent in modular learning. Based on the findings, the study concluded that the students’ motivation and support system can greatly affect their mathematics performance when controlling for the allocated time in modular learning. Especially in Pre-Calculus and General Mathematics, motivation and support system are important factors in learning using modules. In the new normal education, the students should increase their level of motivation as well as exposure in self-learning and be given full support towards the processes in the modular approach of distance learning. (shrink)

Critical in the computationalist account of the mind is the phenomenon called computational or computer simulation of human thinking, which is used to establish the theses that human thinking is a computational process and that computing machines are thinking systems. Accordingly, if human thinking can be simulated computationally then human thinking is a computational process; and if human thinking is a computational process then its computational simulation is itself a thinking process. This paper shows that the said phenomenon—the computational simulation (...) of human thinking—is ill-conceived, and that, as a consequence, the theses that it intends to establish are problematic. It is argued that what is simulated computationally is not human thinking as such but merely its behavioral manifestations; and that a computational simulation of these behavioral manifestations does not necessarily establish that human thinking is computational, as it is logically possible for a non-computational system to exhibit behaviors that lend themselves to a computational simulation. (shrink)